1. <A> Subject with No Object
پدیدآورنده : \ John P. Burgess and Gideon Rosen.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics -- Philosophy.,ریاضیات -- فلسفه
رده :
E-Book
,
2. Abstractionism
پدیدآورنده : \ edited by Philip A. Ebert and Marcus Rossberg
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics, -- Philosophy,a01,Abstraction.,Abstraction.,Mathematics-- Philosophy.,ریاضیات-- فلسفه
رده :
QA8
.
4
.
A22
2016
E-
Book
3. <An> Historical Introduction to the Philosophy of Mathematics
پدیدآورنده : \ edited by Russell Marcus and Mark McEvoy
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics,Philosophy,ریاضیات,فلسفه, -- Philosophy, -- History, -- فلسفه, -- تاریخ,a03,a05,a03,a05
رده :
QA8
.
4
.
H57
2016
4. Cultures of Mathematics and Logic
پدیدآورنده : \ Edited by Shier Ju...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics -- History -- Congresses.,Mathematics -- Philosophy -- Congresses.,ریاضیات -- تاریخ -- کنگره ها,ریاضیات -- فلسفه -- کنگره ها
رده :
E-Book
,
5. Epistles of the Brethren of Purity,رسائل اخوان الصفا
پدیدآورنده :
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : فلسفه اسلامی,Islamic philosophy,ریاضیات اسلامی,Mathematics, Arab,ریاضیات,Mathematics,مابعدالطبیعه,Metaphysics, -- متون قدیمی تا قرن ۱۴, -- Early works to 20th century, -- فلسفه, -- Philosophy
رده :
BBR
۱۸۳
/
الف
۳
ر
۵ ۱۳۹۱
6. Essays in the Philosophy and History of Logic and Mathematics
پدیدآورنده : \ Roman Murawski ; foreword [by] Jan Woleński.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics-- Philosophy.,Mathematics-- Philosophy-- History-- 20th century.,Logic-- History.,ریاضیات -- فلسفه ,ریاضیات -- فلسفه -- تاریخ -- قرن ۲۰م. ,منطق -- تاریخ
رده :
QA
8
.
6
.
M8E8
2010
E-Book
,
7. Essays on the Foundations of Mathematics
پدیدآورنده : \ Stephen Pollard, editor.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
8
.
6
.
E8
2010
E-Book
,
8. Explanation and Proof in Mathematics
پدیدآورنده : \ Gila Hanna, Hans Niels Jahnke, Helmut Pulte Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Proof theory.,Mathematics -- Philosophy. ,ریاضیات -- فلسفه
رده :
E-Book
,
9. Explanation in Ethics and Mathematics
پدیدآورنده : \ edited by Uri D. Leibowitz and Neil Sinclair.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Ethics.,Mathematics -- Philosophy.,اخلاق ,ریاضیات -- فلسفه
رده :
E-Book
,
10. Foundational Theories of Classical and Constructive Mathematics
پدیدآورنده : \ Giovanni Sommaruga Editor
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics -- Philosophy.,Constructive mathematics -- Philosophy.,ریاضیات -- فلسفه ,ریاضیات ساختنی -- فلسفه
رده :
QA
8
.
4
.
F6
2011
E-Book
,
11. Frege, Gottlob
پدیدآورنده :
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : ریاضیات, -- فلسفه,Mathematics - Philosophy,Number concept,Arithmetic - Foundations,Logic, Symbolic and mathematical
12. From Logic to Practice
پدیدآورنده : \ Gabriele Lolli, Marco Panza, Giorgio Venturi Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics -- Philosophy,Logic,ریاضیات -- فلسفه ,منطق
رده :
QA
8
.
7
.
F7
2015
E-Book
,
13. From a Geometrical Point of View
پدیدآورنده : \ by Jean-Pierre Marquis
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Categories (Mathematics) -- History. ,Categories (Mathematics) -- Philosophy,رسته‌ها (ریاضیات) -- تاریخ,رسته‌ها (ریاضیات) -- فلسفه
رده :
E-Book
,
14. G.W. Leibniz, Interrelations Between Mathematics and philosophy
پدیدآورنده : \ Norma B. Goethe, Philip Beeley, David Rabouin, editors.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Leibniz, Gottfried Wilhelm, Freiherr von, 1646-1716.,Mathematics -- Philosophy.,ریاضیات -- فلسفه
رده :
B
2598
.
G84
2015
E-Book
,
15. Humanizing Mathematics and its Philosophy
پدیدآورنده : \ Bharath Sriraman Editor
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Hersh, Reuben, 1927-,Mathematics -- Philosophy.,ریاضیات -- فلسفه
رده :
E-Book
,
16. Introduction to Mathematical Philosophy
پدیدآورنده : \ by Bertrand Russell,راس‍ل
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics,ریاضیات, -- Philosophy, -- فلسفه,a03,a03
رده :
QA9
.
R8
I5
1970
17. Introduction to logic and to the methodology of the deductive sciences, O logice matematycznej i metodzie dedukcyjnej. English
پدیدآورنده : \ By Alfred Tarski,O logice matematycznej i metodzie dedukcyjnej.
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : ریاضیات, -- فلسفه, Mathematics -- Philosophy., Arithmetic -- Foundations
رده :
QA9
.
T28
18. Intuition and the Axiomatic Method
پدیدآورنده : \ edited by Emily Carson and Renate Huber
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics -- Philosophy. ,Intuitionistic mathematics.,ریاضیات -- فلسفه,ریاضیات شهودی
رده :
E-Book
,
19. Kant: Studies on Mathematics in The Critical Philosophy
پدیدآورنده : \ edited by Emily Carson and Lisa Shabel.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Kant, Immanuel, 1724-1804.,کانت، ایمانوئل، ۱۷۲۴-۱۸۰۴,Mathematics -- Philosophy.,ریاضیات -- فلسفه
رده :
B2798
.
K22
2016
20. Logic, Mathematics, Philosophy
پدیدآورنده : \ David DeVidi, Michael Hallett, Peter Clark, editors.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic.,Mathematics-- Philosophy.,منطق ,ریاضیات -- فلسفه
رده :
BC
71
.
L6
2011
E-Book
,
